Managing requirements evolution: Formal support for functional and non-functional requirements
نویسنده
چکیده
This paper addresses the problem of managing requirements evolution in situations where functional and nonfunctional requirements interact and often contradict each other. It de nes a requirements representation scheme that captures the critical interplay between functional and non-functional requirements and makes explicit the trade-o between them. It then de nes a model of requirements evolution that involves mappings between such representations. This model turns out to have several useful properties, including guarantees of minimal change to speci cations as well support for requirements reuse.
منابع مشابه
Algorithms for Managing the Evolution of Software Designs
Most software systems evolve, with time, in response to changing functional and non-function requirements. This evolution aaects both the dynamic behavior of the system as well as the form of the static software ar-tifacts (e.g., source code, user documentation, requirements speciications, design diagrams, test scripts) that comprise the system. A major challenge facing software practitioners i...
متن کاملFacilitating "fuzzy to formal" requirements modelling
Requirements specification methods and techniques have hitherto mainly been concerned with promoting various representation formalisms for formally describing information systems, and discussing their expressive power. However, this approach concentrates only partially on the problem. A major issue is how to bridge the gap between ill-defined problem and application situations, and specificatio...
متن کاملFunctional Requirements of the Pharmacy Information Systems from the Pharmacists' Perspective: A Qualitative Approach
Introduction: In the field of studying information systems, qualitative approach is one of the ways to extract the system requirements from the perspective of the users. Therefore, this study was performed to identify the functional requirements of the pharmacy information system from the perspective of the pharmacists using a qualitative approach. Method: This qualitative study was performed u...
متن کاملFunctional Requirements of the Pharmacy Information Systems from the Pharmacists' Perspective: A Qualitative Approach
Introduction: In the field of studying information systems, qualitative approach is one of the ways to extract the system requirements from the perspective of the users. Therefore, this study was performed to identify the functional requirements of the pharmacy information system from the perspective of the pharmacists using a qualitative approach. Method: This qualitative study was performed u...
متن کاملConstruction de spécifications formelles abstraites dirigée par les buts. (Building abstract formal Specifications driven by goals)
With most of formal methods, an initial formal model can be refined in multiple steps, until the final refinement contains enough details for an implementation. Most of the time, this initial model is built from the description obtained by the requirements analysis. Unfortunately, this transition from the requirements phase to the formal specification phase is one of the most painful steps in t...
متن کامل